g:IAbGrp{i}. Comm(|g|;*) 

latex

Up	groups 1
Definitions of Statement	IMonoid, IGroup, IAbGrp{i}
Definitions	True, T, t  T, x:A. B(x), P  Q, IMonoid, SqStable(P), IGroup, IAbGrp{i}
Lemmas	iabgrp wf, grp op wf, grp car wf, sq stable comm